$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. (${\it e'}$ $\in$ es{-}le{-}before(${\it es}$;$e$)) $\Leftarrow\!\Rightarrow$ ${\it e'}$ $\leq$loc $e$